first($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$first($e$)